Η λογική έχει δύο έννοιες. Είναι η μελέτη των τρόπων συλλογισμού (εκείνων που ισχύουν, καθώς και των εσφαλμένων), όπως και η χρήση έγκυρων συλλογισμών. Στην τελευταία αυτή έννοια, η λογική χρησιμοποιείται στις περισσότερες πνευματικές δραστηριότητες, συμπεριλαμβανομένης της φιλοσοφίας της επιστήμης,και της λακωνικότητας, αλλά στην πρώτη έννοια κατά κύριο λόγο μελετήθηκε στους κλάδους της φιλοσοφίας, των μαθηματικών, της σημασιολογίας και της πληροφορικής. Εξετάζει γενικές μορφές οι οποίες μπορούν να επιχειρηματολογηθούν. Στα μαθηματικά είναι η μελέτ�